This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditi...(展开全部)

This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditi...(展开全部)

Here is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general. Based on Dr Hamilton's lectures to third and fourth year undergraduate mathematicians at the University of Stirling it has been written to introduce student or professional mathematicians, whose background need cover no more than a typical first...(展开全部)

Designed for both advanced undergraduate and graduate students, this groundbreaking work by a leading philosopher of logic is ideal for courses in logical literacy. Logic for Philosophy covers basic approaches to logic (including proof theory and especially model theory); extensions of standard logic that are important in philosophy; and some elementary philosophy of logic. Eas...(展开全部)

Designed for both advanced undergraduate and graduate students, this groundbreaking work by a leading philosopher of logic is ideal for courses in logical literacy. Logic for Philosophy covers basic approaches to logic (including proof theory and especially model theory); extensions of standard logic that are important in philosophy; and some elementary philosophy of logic. Eas...(展开全部)

Here is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general. Based on Dr Hamilton's lectures to third and fourth year undergraduate mathematicians at the University of Stirling it has been written to introduce student or professional mathematicians, whose background need cover no more than a typical first...(展开全部)

Theodore Sider is Professor of Philosophy at New York University

If you are a DevOps engineer, cloud architect, or a stakeholder keen to learn about serverless functions in Kubernetes environments, then this book is for you.